<?php

^/* comment */

?>